Trying to figure out why printf() crashes in bios_disk_read()