SO3 boot is blocking on RPi4 64bits

[clemdiep]

When using rpi4_64_defconfig for SO3, the OS doesn't boot. Only the initial messages is shown until Now bootstraping the kernel ....

With small investigation, the kernel seems to be blocked when calling local_irq_enable in kernel_start.

Also, setting log level to DEBUG instead of INFO, make the kernel not printing any message at all.

[daniel-rossier]

I'm aware of this problem. Actually, the timer interrupts are not raised and SO3 blocks in the calibrate_delay() function.
Concerning the DEBUG, I think there is an issue with the UART mapping at this boot time, I'll be also looking at this.