Linking kernels with gcc instead of ld now