Drivers are arm32 specific