ARM: correct tag-bits on allocation in raw-make-box

Due to a typo, it was using symbol-tag-bits, meaning that each box
was being allocated 16 bytes rather than 4.