[coreboot] [PATCH] Initialize Intel 3100 serial port I/O ranges