[OpenBIOS] Problem with 256K BIOS build