Latest kernel update seems broken on 32-bit Ubuntu 18.04 (Bionic Beaver)