It looks like my prior article was incorrect: it was a different issue than MADT causing problems with booting x86_64.  Scrambled memory report appears to be at the heart of the issue; in any case, it’s fixed now.