/* @handle: handle of the loaded image @systable: system table  */
static int setup(const efi_handle_t img_handle, const struct efi_system_table *systable)
/* @handle: handle of the loaded image @systable: system table  */
static int setup(const efi_handle_t img_handle, const struct efi_system_table *systable)
{
	void *acpi;
	systemtab = systable;
	boottime = systable->boottime;
	acpi = efi_st_get_config_table(&acpi_guid);
	fdt = efi_st_get_config_table(&fdt_guid);
	if (!fdt) {
		efi_st_error("Missing device tree\n");
		return EFI_ST_FAILURE;
	}
	if (acpi) {
		efi_st_error("Found ACPI table and device tree\n");
		return EFI_ST_FAILURE;
	}
	return EFI_ST_SUCCESS;
}