[coreboot-gerrit] Change in coreboot[master]: LinuxBoot/X86_64: Enable 8250 uart drivers