[coreboot-gerrit] Patch merged into coreboot/master: 1ce4860 vortex86ex: Defer checking PS/2 keyboard controller system flag