Fix #1535 - Another random hackaround to have x86 16 bios images working again