tree b1b1fbe9ef107649c0324f72deb3d740c56f0cb2
parent ad3e77177bea1dfb27852c32895774aafb38cbbc
author Kees Cook <keescook@google.com> 1463584822 -0700
committer Kees Cook <keescook@google.com> 1463777844 +0000

kernel: allow target configs to be multiple files again

Clean up kernel configs again, hopefully this one will stick. Avoids
the need for "realpath" calls in the Makefile (since the merge tool
should be the one handling it), records the sources used to build the
config (instead of copying them around), and makes the source and output
variables easier to read.

Change-Id: Ie2b6fc222077b20f8b8f931c4c3084c6e692b38e