Fix build for ARM 7a