30.2.3.1. ARM BX instruction