Very simple : append "pnpbios=off" to the normal debian kernel options And every thing woks perfectly Michel.