x86: objdump 64 bit kernel properly