Implemented casuword for vkernel64. Fix two typos in casuword for pc64.