For some reason i386-elf-as doesn't like 512/4, so replace it by 128.
[pintos-anon] / src / bochs /
drwxr-xr-x   ..
-rw-r--r-- 387 bochsrc.txt
-rwxr-xr-x 204 copy_in
-rwxr-xr-x 469 run_qemu