uses CONFIG_FALLBACK_SIZE
uses CONFIG_HAVE_FALLBACK_BOOT
uses CONFIG_HAVE_HARD_RESET
-uses CONFIG_HAVE_MP_TABLE
+uses CONFIG_GENERATE_MP_TABLE
uses CONFIG_HAVE_OPTION_TABLE
-uses CONFIG_HAVE_PIRQ_TABLE
+uses CONFIG_GENERATE_PIRQ_TABLE
uses CONFIG_HEAP_SIZE
uses CONFIG_IRQ_SLOT_COUNT
uses CONFIG_MAINBOARD
default CONFIG_MAINBOARD_VENDOR = "Mitac"
default CONFIG_MAINBOARD_PART_NUMBER = "6513WU"
default CONFIG_IRQ_SLOT_COUNT = 8
-default CONFIG_HAVE_PIRQ_TABLE = 1
-default CONFIG_HAVE_MP_TABLE = 0
+default CONFIG_GENERATE_PIRQ_TABLE = 1
+default CONFIG_GENERATE_MP_TABLE = 0
default CONFIG_HAVE_OPTION_TABLE = 0
default CONFIG_USE_OPTION_TABLE = 0