Re: [PATCH v5 15/28] efi: Move exit_boot_services into a function