pl011: incorrect IBRD_MASK and FBRD_MASK