arm: Use TCB version of TPIDRUR[OW] state

These registers are part of the 'regular' TCB state and are saved and restored as part
of normal thread switching. As such it is conflicting to have a duplicate idea of the value
of these registers, especially as it is not kept in sync with the version in the TCB,
which is what is actually being loaded into the hardware.

armv7/hyp: use break in vcpu_hw_write_reg

C parser does not like void functions attempting to return
with a parameter, even if the parameter has type void.

armv7/hyp: Move armv7 code armv7-a/armv/vcpu.h

arm/hyp: Add timer functions

arm/hyp: Add setters/getters for SPSR registers

armv7/hyp: Move v7 hyp code to armv7-a/armv/vcpu.h