BUGFIX: i compiled only a part of kernel_chooser with DEVELOPMENT flag.