website/docs: document kernel upgrades for VMware [GH-4362]