[coreboot-gerrit] Change in coreboot[master]: drivers/uart: Allow the 8250IO driver only on x86