[PATCH v3 48/81] kconfig: Support writing separate SPL files