I'm sure if Apple provided support for installing your own OS on their M series laptops it would be incredibly popular. And I don't need to guess at this using weird 1996 research on microkernels because Asahi Linux exists and clearly there is interest in it.