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

Change-Id: Ic02e71900cc0aa10183b9bc56427dba4a33f9eeb