platforms/astbmc: Temporary reboot workaround

The BMC does not currently support the IPMI_RESET (03h) chassis power
control command. In order to have reboot working in the interim, send a
POWER_CYCLE (02h) instead.

This should be reverted once the BMC has support for 03h to ensure we
follow the specification.

Signed-off-by: Joel Stanley <joel@jms.id.au>
Signed-off-by: Benjamin Herrenschmidt <benh@kernel.crashing.org>

platforms/astbmc/common.c

@@ -73,7 +73,9 @@ int64_t astbmc_ipmi_power_down(uint64_t request)
 
 int64_t astbmc_ipmi_reboot(void)
 {
-	return ipmi_chassis_control(IPMI_CHASSIS_HARD_RESET);
+        /* 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);
 }
 
 static void astbmc_fixup_dt_bt(struct dt_node *lpc)