change 32bit vmlinux name