Correct Naming for Device Trees