semi_loader.c: make --dtb actually work rather than be ignored

Fix a bug that meant that the --dtb option was silently ignored.
(The equivalent to this fix has already been applied in the
big.LITTLE bootwrapper which we borrow this file from, so this
brings us back into sync.)

Signed-off-by: Peter Maydell <peter.maydell@linaro.org>