On rare occasians, when booting into Linux OS, I see the message: exit_boot() failed! efi_main() failed!
Then the OS hangs on bootup. When I reboot the system it can boot into OS fine.