build-script: quick and dirty change for all-in-one kernel.

Will clean this up later. all this fancy scripting isn't needed now that
we have a common kernel

Change-Id: I57e634366fa6074ad558d213304f88e9a682a7f5