Thank David! if this theory is correct, how does debian installer configure it? official image i use is supposed to be without non-free firmware