kernel: use prebuilts instead of prebuilt

Change-Id: Ic2d24044c561c7ffa75120769009abdb4cc1ffa1