Re: x86 kernel build chain - how bzImage gets created