[coreboot] OT: In-Reply-To header field (was: How to improve the boot time of the Asus KGPE-D16?)