Merge branch 'acpi-assorted'

* acpi-assorted:
  ACPI: implement acpi_os_get_timer() according the spec