I have added an AXI UART in Vivado to the standard P7Z30 with FMC carrier V2 design. However, when I select this UART as the primary stdin/stdout, petalinux-build fails during the do-compile. What else do I need to do in order to make this UART usable?