Re: [SeaBIOS] [RFC PATCH] Add _PXM to CPU objects for NUMA hot-plug