Installing kernel modules on Ubuntu 16.04

I am doing the installation of FPGA board (KCU1500) drivers for SDAccel as pointed out here. A script is given to install all the drivers (Appendix J -> Step 4).

The script basically extracts two kernel modules (xclmgmt and xocl) from the zip folders, compiles them and installs them. When I run the script, the compilation is successful but during installation I get the following output for both the modules-

INSTALL /tmp/2280/0/driver/xclng/mgmt/xclmgmt.ko
At main.c:160:
- SSL error:02001002:system library:fopen:No such file or directory: bss_file.c:175
- SSL error:2006D080:BIO routines:BIO_new_file:no such file: bss_file.c:178
sign-file: certs/signing_key.pem: No such file or directory
  DEPMOD  4.13.0-36-generic
make[1]: Leaving directory '/usr/src/linux-headers-4.13.0-36-generic'

After looking it up, this error is caused due to Ubuntu 16.04 accepting only signed kernel modules and it was added since the kernel version 4.4.0.20 (not sure about this tho). Two solutions are offered - disable secure boot (sudo mokutil --disable-validation) or sign the kernel modules (followed this). I tried them both but I still get the same error.

After the above message, the script does not stop/crash but continues with the following output -

depmod -a
install -m 644 10-xclmgmt.rules /etc/udev/rules.d
rmmod -s xclmgmt || true
modprobe xclmgmt

Since it does the modprobe xclmgmt, I see the kernel modules when I run lsmod,

> lsmod | grep cl
xocl                   81920  0
xclmgmt                53248  0

So, my questions are

  • Does the output of lsmod confirm that the modules are loaded?
  • Should I be concerned about the SSL error and try to fix it? Or just ignore it?

I am having problems for some steps after this and I was wondering if this might be an issue. Any input will be appreciated.

Thanks!