Fix bochs on 32-bit systems