Hardware and firmware requirements for 64-bit guest operating systems