We can try binding a soft UART driver to UART 20’s pins. That should give us fast SD, and a less annoying console.