4 ms·

I think it's in part because 64-bit requires driver signing, and there are no funds for signing the coLinux64 driver.