arm-linux-gnueabihf kernel headers out of date?

Hi,

In building some code (CRIU) that includes linux/if_packet.h for x86_64-linux-gnu, arm-linux-gnueabihf, and aarch64-linux-gnu, some discrepancies popped up relating to whether the TPACKET_V3 structures were defined. It looks like the headers shipped with the 13.08 arm-linux-gnueabihf toolchain do not define them, implying kernel headers older than October 2012. The aarch64-linux-gnu toolchain on the other hand does have them defined. If this analysis is correct, can I expect the kernel headers in the 32-bit toolchain to be updated in the near future or should I really be generating and referencing my own kernel headers?

Thanks, Christopher