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

Change-Id: I2cee1970554fcd73f624433e456405a5839f2f1d