zephyr_sources_if_kconfig(printk.c)
zephyr_sources_if_kconfig(reboot.c)