Fix the setting of bpaddr/bpval so it works for either 32-bit or
64-bit systems.