Initial ARM32/64 support