config FIRMWARE
	bool

config ARM_PSCI_FW
	bool
	select FIRMWARE