Use PREBUILT_KERNEL