diff --git a/libguestfs.spec b/libguestfs.spec
index 950df95..b598314 100644
--- a/libguestfs.spec
+++ b/libguestfs.spec
@@ -423,6 +423,7 @@ CFLAGS="$RPM_OPT_FLAGS -Wno-unused"
 CXXFLAGS="$RPM_OPT_FLAGS -Wno-unused"
 # If the kernel happens to have no virtio-scsi force virtio-blk usage in the tools
 # This is true for kernel.rpm included in 12.1 and older
+ls -laR /boot/ || :
 if /sbin/modinfo -k "`env PATH=/sbin:/usr/sbin:$PATH get_kernel_version '%{kernel_binary}'`" virtio-scsi
 then
 	: use virtio-scsi, which is the default in libguestfs