ARM: add machine name to stack dump output