EARLY_PRINTK with EC25

Can someone help with advice on what would be the right settings for the kernel to print early boot time messages over the serial console ? Namely the DEBUG_UART_VIRT seems to be nowhere to be found…