put back prebuild kowalski kernel

Change-Id: I7c84bc5bb23275916fc86d82cba05e50b808d854