Re: [PATCH 0/4] Fix regressions uncovered by bad_madt_entry() patches