Add force_read_value and fix zynq timer

The previous change did not build, as FORCE_READ doesn't return a value.
A new helper is required to avoid reading the value twice, as the first
read clears the status.

fix licenses

libutils: add io.h for mmio memory ops