## Enhancements to the kconfig module

`kconfig.load()` may now accept a `configure_file()` as input file.