First of all thanks for the patch.
But then, please attach a diff instead of of copying it into the ticket description next time.
Also, changes like:
}
-
void
_start(void)
shouldn't be found in such a patch, as this introduces a style violation in previously fine code.
Then:
+ case 'w':
+ case 'W':
+ warm_boot();
case 0:
There is a "break;" missing - even if warm_boot() is not supposed to return, it's just good style.
Finally, what is the purpose of this patch? What does it do, and what does one gain?