Hi, Adam,
I created a PR from Takeyoshi's patches: Fix/sama5d2 serial console <https://github.com/apache/incubator-nuttx/pull/401>I verified they work on the SAMA5D27. I don't have a SAMA5D4 board yet, but I verified the AIC Interrupt Redirect Key is the same for the D2 and D4 chips by looking at the most recent datasheets.
Thanks! I merged your PR. Greg
