[RFC PATCH v2 26/56] kconfig: Support writing separate SPL files