added wget line to download linux kernel config from github sources