auto-patch kernel with vmware guest tools after upgrade
renamed dev_build and dev_user