Fix kconfig-frontends build for some systems

Signed-off-by: Markus Pargmann <mpargmann@allfex.org>