Drop verified boot code from acpi.c