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: I66a458ae000312c947a49e8c2e91680d7bf61e6b