Inject parameters (e.g. device serial, bootmode) into /proc/cmdline

Change-Id: I02f6d915e76250af9e82851bbef7bc5d609bdc6c