Rebooting linuxBIOS...

[Eric W. Biederman]

I don't know what the current recommended procedure for rebooting is,
there was a big discussion about it a while ago, but I didn't track it.

For x86 a pretty generic formula is to enable port 0xcf9.  And patch
the kernel to write to it.  And then pass in reboot=hard.

I'm not reinventing the wheel here am I?

Eric