hw/arm/boot: fix direct kernel boot with initrd