MmioConsoleChannel implements unsafe traits Send and Sync directly. For now, this is safe as we don't have threads in the kernel, but in the future that may not be the case.
This bug is to remind us of the potential foot-gun lurking in the code and breadcrumbs to fix it when we need it.