A few corrections to include/linux/Kbuild