Processing commands for control@bugs.debian.org: > affects 838892 src:linux Bug #838892 [src:gcc-6] [ppc64el] boot arguments (passed as CONFIG_CMDLINE) are not being picked up by kernel Added indication that 838892 affects src:linux > End of message, stopping processing here. Please contact me if you need assistance. -- 838892: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=838892 Debian Bug Tracking System Contact owner@bugs.debian.org with problems