kernel/acpi: Add back two includes which are needed.
kernel/acpi: Add back another needed include. That should be all.