We now have an official hal-arm which exports KeSwapIrql, allowing many more drivers...