Re: How vmlinux is recognized?