Fixing the size representation of other supervisor registers