RE: [PATCH 2/2] x86/MCE: Add command line option to extend MCE Records pool

[Luck, Tony]

> It needs a proper explanation why that's ok rather than an empirical
> test only.

start_kernel()
   ... setup_arch()
       .... acpi stuff parses MADT and sets bits in possible map

   ... arch_cpu_finalize_init()
       ... calls mce_gen_pool_init()

-Tony