- make HAVE_HARD_RESET match what newconfig did
[coreboot.git] / src / mainboard / dell / s1850 / Kconfig
index aeb14a008a509f1030a542480350aac9dbdc8d88..853e2ab7a5cb55a8175d3075eeeb22ba69923303 100644 (file)
@@ -7,6 +7,8 @@ config BOARD_DELL_S1850
        select SOUTHBRIDGE_INTEL_PXHD
        select SUPERIO_NSC_PC8374
        select ROMCC
+       select HAVE_HARD_RESET
+       select BOARD_HAS_HARD_RESET
        select HAVE_PIRQ_TABLE
        select HAVE_MP_TABLE
        select BOARD_ROMSIZE_KB_1024