As a show of friendship, maybe the Raspberry Pi Foundation might like to help out poor, starving, Intel by posting them a Raspberry Pi with a suitably large SD card so that they can keep the ancient BIOS repository up and running?
I expect it would cope with the server load more than admirably…