Re: [PATCH v4 06/20] x86: coreboot: Look for DBG2 UART in SPL too