actually append all dtbs in deviceinfo_dtb to the kernel, not just the last one
The current behaviour iterates through all DTBs properly, but it reassigns to $dtb
every time, so only the last one in the list will be picked.
The current behaviour iterates through all DTBs properly, but it reassigns to $dtb
every time, so only the last one in the list will be picked.