1. Add support for bzImage format linux kernel in x86_64.
2. Update comment in boot_loader.
3. Update docs for bzImage format kernel.

Signed-off-by: Wei Gao gaowei66@huawei.com