Thanks! That explains it. > but this really looks like the root of the problem: only BIOS drive 0x81 > available but no 0x80. Sure, see comment 10. I was just wondering under what circumstances such a thing happens.