[PATCH v3 18/81] acpi: Add a Kconfig for SPL_ACPIGEN