Add 64-width check kernel