Merge "flounder: update prebuilt kernel" into nyc-mr1-dev