Re: BIOS bug w/latest kernels?