Support for pulling build dev branch
new remote "dev" is addded to KERNEL working copy
you could the do
"git pull dev"

make changes and run
"git push dev [CURRENT BRANCH]"

New $PULL_DEV variable is introduced to allow user to replace patching with pulling dev repo