build: Add support for extra kernel build variables

 * This allows specifying a variant defconfig, and an selinux defconfig
   which are simply configuration fragments.

Change-Id: I97882ae3b8c2e16ff6a7dce8dd3a70d70f8aa866
Update paths for costum gcc

Change-Id: I3440d858ddb417406d3138b7b13e8e9cdf8f9fe2