[seL4] am335x patches - refos working

Attachments:

• expkernel_0001-allow-UART-to-be-used-even-in-debug-mode.patch (text/x-patch — 1017 bytes)
• libplatsupport_0001-add-getchar-support-not-yet-tested.patch (text/x-patch — 1.4 KB)
• libplatsupport_0002-enable-receive-interrupts-on-am335x-uart.patch (text/x-patch — 1.1 KB)
• refos_0001-fix-uncachable-io-mappings.patch (text/x-patch — 2.0 KB)