Hello there, Does anybody know the values of CONFIG_DEBUG_UART_PHYS and CONFIG_DEBUG_UART_VIRT for rpi-4 on 64bits that should be set in order to have access to earlyprintk and printascii ? Thank you very much, L-C. Duca