const FADT_FIELD_FACS_ADDR32: usize = 36;