cva6-sdk uart driver doesn't work for CVA6

Is there an existing CVA6-SDK task for this?

• I have searched the existing task issues

Task Description

I am trying to boot the fw_payload via OpenOCD and GDB. It is executing correctly till it fails to initialize IRQ chip, (but this is not the actual problem). The problem is that before trying to initialize the IRQ it should have printed the OpenSBI banner and it doesn't

sbi_boot_print_banner(scratch);

rc = sbi_platform_irqchip_init(plat, TRUE);
if (rc) {
	sbi_printf("%s: platform irqchip init failed (error %d)\n",
		   __func__, rc);
	sbi_hart_hang();
}

I also noticed that the driver of OpenSBI is a bit different from CVA6 uart drivers and also it doesn't match with the uart hardware (UART 16750) So what should I do to print in uart?

Description of Done

I tried to change the UART IP iin my disign to UART 16550 in order to match with the driver, but it didn't work