cpc_ffh_supported
if (gas_t->space_id != ACPI_ADR_SPACE_FIXED_HARDWARE || !cpc_ffh_supported()) {
extern bool cpc_ffh_supported(void);