It seems like trying the grub parameter would be the easiest logical step, rather than risking BIOS. If he grub parameter does not work, just remove it.
Perhaps it is a common one like pci=noaer or pci=nomsi, and that is why he did not bother mentioning what it was.