no_dev_console.patch for 3.10.xx kernel