8086tiny: update to 1.25

Locally build BIOS support