DO NOT MERGE flounder: update prebuilt kernel am: 3aa1191b67  -s ours am: a7d5f87410
am: c76289120c

* commit 'c76289120c2f3847ed57e32e84d956f8fd42979b':
  DO NOT MERGE flounder: update prebuilt kernel