tag	line	file	source code
linux_banner	25	init/main.c	extern char *linux_banner;
linux_banner	284	init/main.c	printf(linux_banner);
linux_banner	18	tools/version.c	char *linux_banner =