The way that you edited the grub menu on the fly looks correct.
There are 3 other reboot options that you can try:
reboot=w reboot=c reboot=h
Let me know if one of these works.
The way that you edited the grub menu on the fly looks correct.
There are 3 other reboot options that you can try:
reboot=w
reboot=c
reboot=h
Let me know if one of these works.