Must pass the DTB, else the guest doesn't even boot properly and thus cannot be debugged with KGDB
Must pass the DTB, else the guest doesn't even boot properly and
thus cannot be debugged with KGDB

kaiwan/seals