ARM: 7491/1: use generic version of identical asm headers