1 Reboot property to control system reboot on PPC4xx systems:
3 By setting "reset_type" to one of the following values, the default
4 software reset mechanism may be overidden. Here the possible values of
9 3 - PPC4xx system reset (default)
15 model = "PowerPC,440SPe";
17 reset-type = <2>; /* Use chip-reset */