Можно сделать по-другому, хотя и не очень красиво

Можно сделать по-другому, хотя и не очень красиво - вставить сетевую карту типа Realtek 8139 с панелюкой под EEPROM и в неё засунуть микросхему с BIOS VIA 6421 и воткнуть оба этих PCI устройства. Должно сработать и на Intel.