Build 64-bit kernel on 32-bit system