* gdbarch.sh (software_single_step): Replace REGCACHE argument by