Fixed addresses - my mapper doesn't like 0xFFFFFFFFFFFFFFFF as end address
(an attempt to fix has failed, so let's hack the solution).
MADT finished (still untested, but should work - it worked before, in Booter).