uml: keep UML Kconfig in sync with x86