hw/arm/virt-acpi-build: fadt: improve flag naming