coral: update kernel-and-modules prebuilt [ DO NOT MERGE ]
am: 25b12f3826

Change-Id: Iecdefb49aacf2ffeafed66a33baafc49eed1eb6f