Merge "fugu: update kernel prebuilt" into oc-dev