Prebuilt kernel for faster build times

Change-Id: I249c7d1c5dcc9f4bd922a004af599018dbd39a28