IDEA: Linux kernel and pcbios compatibility...