[PATCH 21/32] kconfig: Support writing separate SPL files