Re: [PATCH v5 29/46] pci: Adjust video BIOS debugging to be SPL-friendly