Update platform/arm/arm.h