kernels: fix ifdef fence for popcnt puppet on 32-bit builds