Microkernel: Add a TODO
sancheck: Update for inclusion of microkernel