Use --firmware instead of --kernel

Signed-off-by: Marc Zyngier <maz@kernel.org>
1 file changed