Additionally, device tree support in the Linux kernel allows many board specific ports to be packaged onto a single kernel, and the bootloader specify which peripherals and their addresses and features are there. Still nowhere near as powerful as ACPI though.