[PATCH 03/17] acpi: Add a Kconfig for SPL