Correct octal_to_bv32 to fill the two MSBs.