[U-Boot] [PATCH v3 22/22] x86: config: Enable AHCI support for coreboot