What kernel?

What kernel is the latest supported on linux for the Desktopvideo?
I am running 4.15.0-42-lowlatency and driver installation fails:
/var/lib/dkms/blackmagic-io/10.3.7a4/build/bm_util.c:27:10: fatal error: asm/i387.h: No such file or directory

What kernel should I install?

The requested i387.h is a header file. I`m not sure why your OS needs that but if so,
you may want to try installing something like linux-headers-4.15.0-42-lowlatency