Re: [bitfolk] Kernel 5.3 on Ubuntu 18.04 32bit