Fix link for kernel flag dart=0