-
In contrast to #ifdef CONFIG_x, #if IS_ENABLED(x) (or our wrapper of the latter) does not update the dependency information for kbuild. So, switching any config easily left inconsistent build artifacts behind. This conversion also fixes de66d324 : there is and there was never a CONFIG_XENO_DEBUG_LOCKING. Signed-off-by: Jan Kiszka <jan.kiszka@siemens.com>
90e99e74