[kbuild-all] Re: [PATCH] clocksource/drivers/timer-vf-pit: Fix build error