Following up: and therefore you do not need to load the driver?
I assume no, but if Mach is dependent on some sort of low level patch to achieve acceptable interrupt latency, and this patch is in the driver, then perhaps you need the driver. I just want to make sure.