Fix option to flush console before reboot.

Change-Id: I35164b621a589d82502c8514974cd68074fbb27d