build: allow KERNELNAME to contain multiple kernel make targets