Merge branch '2023-07-07-assorted-build-improvements' into next
- Correct a few dependencies in Kconfig and better handle some generated files so that they are properly cleaned later.
- Correct a few dependencies in Kconfig and better handle some generated files so that they are properly cleaned later.