ifndef TARGET_USE_PREBUILT_KERNEL