Documentation/x86/boot.txt: modify fieldname