Fix some register mapping issues in debug-s390