Re: [PATCH v4 4/5] efi: Reserve some memory for initial use