Fix building on x86 with older kernel headers.