coral: update kernel-and-modules prebuilt [ DO NOT MERGE ]
am: 24ce871068

Change-Id: I7a2e134d1e317cc0cc09c7af4cfd4708b57af59e