added default bootargs.txt to keep them in sync with kernel