a10_ref BSP not compatible with Ubuntu 18.04

I am trying to compile the linux driver for a10_ref BSP on a Ubuntu 18.04 machine. the following error shows up:

aocl install: Adding the board package /home/ic611/intelFPGA_pro/19.3/hld/board/a10_ref to the list of installed packages

Installing the board package driver to the system.

aocl install: Running install from /home/ic611/intelFPGA_pro/19.3/hld/board/a10_ref/linux64/libexec

Looking for kernel source files in /lib/modules/5.0.0-37-generic/build

Using kernel source files from /lib/modules/5.0.0-37-generic/build

Building driver for BSP with name a10_ref

make: Entering directory '/usr/src/linux-headers-5.0.0-37-generic'

CC [M] /tmp/opencl_driver_PRGftZ/aclpci_queue.o

CC [M] /tmp/opencl_driver_PRGftZ/aclpci.o

/tmp/opencl_driver_PRGftZ/aclpci.c: In function ‘aclpci_irq’:

/tmp/opencl_driver_PRGftZ/aclpci.c:340:54: error: passing argument 2 of ‘send_sig_info’ from incompatible pointer type [-Werror=incompatible-pointer-types]

int ret = send_sig_info(aclpci->signal_number, &aclpci->signal_info, aclpci->user_task);

^

In file included from /tmp/opencl_driver_PRGftZ/aclpci.c:53:0:

./include/linux/sched/signal.h:325:12: note: expected ‘struct kernel_siginfo *’ but argument is of type ‘struct siginfo *’

extern int send_sig_info(int, struct kernel_siginfo *, struct task_struct *);

^~~~~~~~~~~~~

cc1: some warnings being treated as errors

scripts/Makefile.build:284: recipe for target '/tmp/opencl_driver_PRGftZ/aclpci.o' failed

make[1]: *** [/tmp/opencl_driver_PRGftZ/aclpci.o] Error 1

Makefile:1614: recipe for target '_module_/tmp/opencl_driver_PRGftZ' failed

make: *** [_module_/tmp/opencl_driver_PRGftZ] Error 2

make: Leaving directory '/usr/src/linux-headers-5.0.0-37-generic'

aocl install: failed.

aocl install: Removing FCD

aocl install: Removing the board package /home/ic611/intelFPGA_pro/19.3/hld/board/a10_ref from the list of installed packages

I think the driver is not compatible with linux kernel 5.0 yet. Hope this issue could be fixed for Ubuntu 18.04 as it is said to be supported. Both v19.1 and v19.3 SDK were tested.