am c4240a9d: (-s ours) mako: update prebuilt kernel * commit 'c4240a9d42ffcd3a788ae19a5be43585fa8d0f37': mako: update prebuilt kernel