Drivers and misc for various ARM devices