x86: initialize 64bit registers for a.out executables