For those affected, boot like this: setenv bootargs_console console=ttyS0,115200 ipv6.disable=1 run bootcmd
And when your system boots, make sure to run flash-kernel The issue should then be gone. -- Martin Michlmayr http://www.cyrius.com/ -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org