BIOS bug w/latest kernels?