[Skiboot] [PATCH] Revert "platforms/astbmc: Temporary reboot workaround"

[Joel Stanley]

This reverts commit 7185393df6d7d806811b827fabce1d8ad3e05fff.

Now that we have the correct behaviour in the BMC, we can go back
to sending the correct ipmi command for rebooting the machine.

Signed-off-by: Joel Stanley <joel at jms.id.au>
---
 platforms/astbmc/common.c |    4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/platforms/astbmc/common.c b/platforms/astbmc/common.c
index 993ac4c..f9c988d 100644
--- a/platforms/astbmc/common.c
+++ b/platforms/astbmc/common.c
@@ -76,9 +76,7 @@ int64_t astbmc_ipmi_power_down(uint64_t request)
 
 int64_t astbmc_ipmi_reboot(void)
 {
-        /* TODO: we should send a IPMI_CHASSIS_HARD_RESET, but the BMC
-         * doesn't respond to this command yet */
-	return ipmi_chassis_control(IPMI_CHASSIS_PWR_CYCLE);
+	return ipmi_chassis_control(IPMI_CHASSIS_HARD_RESET);
 }
 
 static void astbmc_fixup_dt_system_id(void)
-- 
1.7.10.4