Ok, can you update the kernel and the userland syscall-implementing DLLs?
Well, that's essentially Windows Update.
But this will install other stuff as well and might even upgrade the distro. I just want to update the kernel and its wrapper. Or does nobody have tried it and I would need to figure it out myself.