Kernel hack to overwrite bootloader command line (for marvel only)