Update kernel Makefile to fix Mac builds