Re: [PATCH v8 12/25] efi: Move exit_boot_services into a function