BIOS and Kernel Developer's Guide for AMD Athlon(tm) 64 ... - PTLsim