Set TARGET_NO_KERNEL to false