Anyone know the latest stable kernel with the Pentium BIOS support built in besides 1.2.13? 1.3.9* seemed to be broken.Thanks.