Merge "fugu: update kernel prebuilt" into oc-dev
am: 4e4ce0ca88

Change-Id: I713ab16774c25a27a0fdbf3fa08c50740a0abd99