fix cmdline so stock defconfig can be booted