Add missing profile=kvm option to Documentation/kernel-parameters.txt