# CONFIG_SFI is not set