const event_signal_exit_boot_services: u32 = 513;