[Bug 1002194] Image for RPi3 aarch64 does not boot with connected USB disk