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