Re-add kernel prebuilt

Accidentally derped and deleted it when re-write commit history

Change-Id: Iad349af9540cf1658af83d98983d70278ee825b9
Signed-off-by: Evan Anderson <evan1124@gmail.com>