const FADT_FIELD_DSDT_ADDR32: usize = 40;