ARM11: use shared DSCR bit names