[bitfolk] Kernel 5.3 on Ubuntu 18.04 32bit