marlin: update kernel prebuilt[ DO NOT MERGE ] am: b3e586572d  -s ours
am: a708bb7af8

Change-Id: Ia6c918963074f6da69360a53a4c3376776b46b08