x86/boot: kbuild: allow readelf executable to be specified