Updated to accept multiple kernel builds

Change-Id: I67d62073235b8907eadb3f2e9181ecd4a239727e