tests: sample_regs_user, make it work on 32-bit x86