The kernel is not the problem with Windows on medical devices.