Updated to accept multiple kernel builds

Change-Id: Ifaa0a68f3a5a3abdc6dc7f8f0558eac082e28fad