simplified bochsrc file