[osboot] launch kernel when ExitBootServices() works on the first call

Change-Id: I1631838d59fe55a34dce00b1aadfe09794f007bc
1 file changed
tree: ef9144643cb74d8707f45b0a988f74a4e9999b20
  1. build/
  2. external/
  3. include/
  4. lib/
  5. src/
  6. .gitignore
  7. Makefile
  8. NOTES.txt
  9. README.txt