kernel configの解決のためにsatソルバー入りそうで草kconfig: Add support for conflict resolution [LWN.net] https://lwn.net/Articles/981509/