The suggested solution works for me too. My cmdline.txt is now:
$this->bbcode_second_pass_code('', 'sdhci-bcm2708.enable_llm=1 sdhci-bcm2708.cycle_delay=1000 smsc95xx.turbo_mode=N dwc_otg.lpm_enable=0 console=ttyAMA0,115200 kgdboc=ttyAMA0,115200 console=tty1 loglevel=2 root=/dev/mmcblk0p2 init=/bin/systemd rootfstype=ext4 rootwait')