Re: [PATCH v4 00/16] x86: Various minor enhancements for coreboot