The DTB file is missing in the prebuilt kernel. I tried to boot it (simply without the dtb) and it dropped me in the uboot console. So either there's another way to get one or the kernel is kinda useless.