Updates to ldkernel to work with more modern GHC compilers.
Updates to ldkernel to work with more modern GHC compilers.

thumphries/HaLVM,mwotton/HaLVM,elijah513/HaLVM,GaloisInc/HaLVM,elijah513/HaLVM,GaloisInc/HaLVM,mwotton/HaLVM,elijah513/HaLVM,rowhit/HaLVM,ggkitsas/HaLVM,rowhit/HaLVM,rowhit/HaLVM,ggkitsas/HaLVM,thumphries/HaLVM,GaloisInc/HaLVM,ggkitsas/HaLVM,mwotton/HaLVM