Confirmed: all solved for me as well.
Just a note in case someone stumbles on the same issue: after downgrading the kernel (see my previous message), I went on upgrading to the fixed version, and it was complaining about conflicts with the files in /boot/overlays.
After checking online, and verifying that no other packages were owning those files, I removed everything with $this->bbcode_second_pass_code('', 'sudo rm -rf /boot/overlays') and then immediately installed the new kernel, which recreated all the files.
Disclaimer: I am not sure this is the best thing to do and take no responsibility whatsoever but... it worked for me.