[seL4] Further use of Device Tree?