Link kernel.o if it exists (fix for RM 2.38)