../distro/kernel-bench/arch/x86/boot/bzImage