LinuxKPI: add timekeeping.h, another dummy (empty) header file

The file is included by a driver but it seems we don't need to implement
anything here.

MFC after: 3 days