You saved my day :) Just add a minor point: After adding this parameter, Raspbian will boot with the file system mounted as Read-Only, execute the following command to mount it as Read-Write: mount -o remount,rw / If you can get to a root shell by adding init=/bin/bash to /boot/cmdline.txt dwc_otg.l...

Hmm, this is quite annoying and I think the fix for this bug:
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=70132

has not been merged to debian yet.

This is very helpful, thanks.