[PATCH] arm64/acpi: make ACPI boot preference configurable

On 27/02/18 14:28, Jonathan Toppins wrote:

quoted

'only intended to be booted via ACPI' is a property of the system, not
of the OS. If you need this functionality for development, you can
append 'acpi=on' to the kernel command line via kconfig.

This is not for development this is for production rate shipping firmware.

Obvious question: if this is "production" firmware on systems which "do 
not support DT", what the hell is a non-trivial DT doing in there in the 
first place?

Robin.