x86/reboot: Document how to override DMI platform quirks