add acpi kernel params