target/arm: add ARMv8.4-SEL2 system registers