soc/mediatek: Convert to board_reset()

Note, MT8183 didn't select HAVE_HARD_RESET before. So it might still
need an update.

Change-Id: Ic850f2775ada5e6e543ffb92aaa033b9209596f5
Signed-off-by: Nico Huber <nico.h@gmx.de>
Reviewed-on: https://review.coreboot.org/29051
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Julius Werner <jwerner@chromium.org>

src/soc/mediatek/common/wdt.c

@@ -57,7 +57,7 @@ int mtk_wdt_init(void)
 	return wdt_sta;
 }
 
-void do_hard_reset(void)
+void do_board_reset(void)
 {
 	write32(&mtk_wdt->wdt_swrst, MTK_WDT_SWRST_KEY);
 }

src/soc/mediatek/mt8173/Kconfig

@@ -12,7 +12,6 @@ config SOC_MEDIATEK_MT8173
 	select HAVE_MONOTONIC_TIMER
 	select GENERIC_UDELAY
 	select GENERIC_GPIO_LIB
-	select HAVE_HARD_RESET
 	select RTC
 
 if SOC_MEDIATEK_MT8173