On Wed, 2018-10-17 at 09:13 +-0200, Rafael J. Wysocki wrote: +AD4 So Bart, please resend the last patch of yours with a changelog, but +AD4 please add a comment to acpi+AF8-os+AF8-get+AF8-timer() to explain why ktime+AF8-get() +AD4 doesn't work there. I will do this. Thanks, Bart.