[PATCH 4/9] x86: coreboot: Look for DBG2 UART in SPL too