target/arm: Decode TBID from TCR