fn report_os_id(guest_os_id: u64)
Writes a synthehtic register to tell the hypervisor the OS ID for the boot shim.