Implemented casuword for vkernel64