Enable getbv.INT32 test. I've worked around the bad C interface
design for now.