The future of 32-bit support in the kernel