Extract HAL reboot out of middleware implementation

This created an unwanted dependency on implementation detail of the
HAL system and was hostile to testing.
With this change, we can test that the HAL reboots when it should and
doesn't reboot when it shouldn't.

Change-Id: I692f55ed0b4c887008e341dec85fc76a63d5e3fd