[util] use correct macro notation for ARM