Requirements for an Integrity-Protected Hypervisor on the x86 Hardware Virtualized Architecture