[PATCH 2/2] x86: Correct the coreboot header file in MAINTAINERS