acpi_get_fadt_bootflags
if (ignore || !acpi_get_fadt_bootflags(&flags))
bool acpi_get_fadt_bootflags(uint16_t *flagsp);
if (!acpi_get_fadt_bootflags(&flags))