mach/timex.h missing from kernel headers

Hi,

I’ve created linux-headers-3.8.13-bone47_1.0cross_armhf.deb using Robert Nelson’s “build_deb.sh” script here.
Unfortunately, this deb is missing an include file: mach/timex.h.
For the 3.2 kernel, the headers were contained in the following debs:

linux-headers-3.2.0-4-all-armhf
linux-headers-3.2.0-4-common
linux-headers-3.2.0-4-mx5
linux-headers-3.2.0-4-omap
linux-headers-3.2.0-4-vexpress

But I only have this deb:
linux-headers-3.8.13-bone47

So how would I create linux-headers-3.8.13-common ? I think the file I need would be in there.