Add bochs configuration