vkernel64 - Remove some dead code (JGV).