SPECS += sel4 acpi