improve prebuilt kernel

Change-Id: I3986ef45fb7b39cd05d323b26ab93426c01c1960