arm: make sure board_init_r() is being called using the right mode (ARM / THUMB)