sparc32: off by ones in BUG_ON()