Thanks for your response. Unfortunately the modifications suggested in the post don't seem to be working for us. Our objective is to do this for ARM System Ready IR, and therefore we're not able to make changes to the kernel (linux-imx).
The only way we have been able to get uart4 working as a console is by manually editing the following registers from the u-boot prompt:
u-boot=> mw.l 0x303844c0 0x3 1; mw.l 0x303304B4 0x140 1; mw.l 0x3033024C 0x0 1; mw.l 0x3033050C 0x2 1; mw.l 0x303304B8 0x140 1; mw.l 0x30330250 0x0 1; mw.l 0x303D0518 0xFF 1; mw.l 0x30A60080 0x0 1; mw.l 0x30A60084 0x0 1; mw.l 0x30A60088 0x784 1; mw.l 0x30A6008C 0x8000 1; mw.l 0x30A6009C 0x2B 1; mw.l 0x30A600A0 0x0 1; mw.l 0x30A600B4 0x0 1; mw.l 0x30A60090 0xA01 1; mw.l 0x30A600A4 0xF 1; mw.l 0x30A600A8 0x68 1; mw.l 0x30A60084 0x4027 1; mw.l 0x30A60080 0x1 1