fixedstore: switch stbux to XLEN