Linux Kernel Device Tree Usage