Merge "fugu: update kernel prebuilt" into oc-dev am: 11b1732730 am: d45db2f7e0
am: bac3c84e35

Change-Id: Id1878bb082536934fd7f74340b8d9262a606422a