Re: [PATCH 6/7] WIP: efi: Allow helloworld to exit boot services