This demonstrates that on aarch64, where a native panic device doesn't exist, it's necessary for the user to specify the model explicitly. Signed-off-by: Andrea Bolognani <abologna@redhat.com> Reviewed-by: Peter Krempa <pkrempa@redhat.com>