hw: basic support for ODROID XU board (Ref #991)
hw_odroid_xu: enable userland timer driver (Ref #991)