c83f0f992a
Add fadt_revision for telling if the FADT has correct 64 bit addresses, separate from whether the XSDT has legal 64 bit addresses.