Only use TARGET_PREBUILT_KERNEL