[PATCH] kbuild: permanently fix kernel configuration include mess