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