x86: Correct the coreboot header file in MAINTAINERS