Makefile.ksplice: Use the same combine args with or without --build-modules.