They already did. There are more microkernels around than monolithic. All big CPU's use them internally, all phones use them.