[coreboot] Patch merged into coreboot/master: 1818697 trivial:change the value type of POST_PORT in Kconfig from int to hex