PATCH: Add testfile-x32-core to run-allregs.sh