kernel compilers: increase verbosity