8086tiny: update to 1.25
Locally build BIOS support