Add files missing from kernel makefile