x86, boot: make kernel_alignment adjustable; new bzImage fields