Thanks for the suggestion. We did this exact step, and unfortunately, still got no uart debug logs on the host. But after some time, we got a console login prompt.
I am assuming the serial@70006000 device is the one assigned to pins 236/238?
Is there anything else we can try?