ARM: use 8-byte alignment (fixes #8314)