I was confused previously by the fact that the DTB is required, despite gem5 autogenerating a default one if it is not provided. TODO: why is the generated one not correct?
