[OS-BUILD PATCH 4/18] kabi: Include kconfig.h