isolating parts of code shared between 32-bit and 64-bit x86 kernels