ARM register DBGDTR_EL0 incorrectly causes undefined exception