init/main.c: remove BKL notations