Re: [Linaro-acpi] UEFI Clock