How is removing 3rd party kernel modules a “pure political decision”. Do you really believe there are no technical/security factors behind this choice?
What I mean is that it involves a policy setting, but little to no technical change. You cannot create a microkernel just because you declare 3rd party extensions to be banned. In order to classify yourself as a certain architecture you actually need that architecture first.