[kbuild-all] Re: [PATCH v6 3/4] clocksource/drivers: Add a goldfish-timer clocksource