Re: [SeaBIOS] [PATCH 2/2] accept MADT over fw_cfg