Bug#838892: [ppc64el] boot arguments (passed as CONFIG_CMDLINE) are not being picked up by kernel

[Mathieu Malaterre <malat@debian.org>]

Package: src:gcc-6
Version: 6.2.0-4
Severity: important

[...]
Observed that boot arguments (passed as CONFIG_CMDLINE)  are not being
picked up by kernel while using gcc-ppc64-linux-gnu v5.4.0 and v6.1.1.
While it works as expected with v5.3.1 .

Found that in init/main.c in  setup_command_line() the pointers passed to
strcpy() is messed up.
[...]

Ref:

https://www.mail-archive.com/linux-kernel@vger.kernel.org/msg1236996.html