I also have an Intel machine, in my case the hotkeys would suddenly stop working. Did you testing the keys on LiveCD/LiveUSB as it says in the guide you posted? If they work then you can be sure it's not a hardware problem.
I also have an Intel machine, in my case the hotkeys would suddenly stop working. Did you testing the keys on LiveCD/LiveUSB as it says in the guide you posted? If they work then you can be sure it's not a hardware problem.