vkernel v1.3 (updated to 9.1.A.1.145 source)