hw/arm/boot: allow using a command line specified dtb without a kernel