This current setup relies on the platform firmware providing an appropriate device tree for the kernel that will run.