Re: [PATCH v5 00/20] x86: efi: Fixes and improvements for coreboot