kernel: Use a macro for kernel build targets

Change-Id: Idb61ddbfd630401da09a0c3207aaab7e25bc4b14
1 file changed