f0e810d923
in the code talks about "machine-dependent length", but my copy of the spec clearly says "an array of 32-bit physical addresses".