Add git push alias
Remove the kernel config target