Status of some Arm features

[Pierrick Bouvier]

Hello,

I'm currently reviewing the QEMU Arm documentation, and I have a 
question about the status of following features:

8.0:
- FEAT_DoubleLock, Double Lock
8.2:
- FEAT_ASMv8p2, Armv8.2 changes to the A64 ISA (bfc and rev64 instructions)
8.4:
- FEAT_CNTSC, Generic Counter Scaling (hw/timer/sse-counter.c)

From what I see, it seems like they are already implemented in QEMU. Is 
that correct?

Thanks,
Pierrick