TCH CH Chelbiahmed Device Tree vs ACPI: Why Embedded Linux Needs It but x86 PCs Don’t Stage 1: Why the Kernel Needs Hardware Knowledge