I did some probing of MIC 471 chip in Micronics GJX30G-04P motherboard and it turns out that MIC 471 is in fact either a SiS 85C460 or 85C461 chip, but not a 85C471 - its pinout doesn't match MIC 471's pinout.
I've also tried few BIOS images from other motherboards that used SiS 85C460/461/471 chipset and these are the results:
"ABIT AB-AV4", AMI BIOS 06/06/92, 85C460 chipset - POSTs, but after entering BIOS setup, system either freezes or keyboard stops responding.
"Soyo SY-025D2", AMI BIOS 08/08/93, 85C461 chipset - POSTs, but after entering BIOS setup, system either freezes or keyboard stops responding.
"Asus VL/I-486SV2GX4", Award BIOS, 11/19/97, 85C471 chipset - does not POST.
A MIC491 = SiS 85C407 ISA bus buffer. I think that MIC 472 must be a SiS 85C471, because motherboards that use this chip usually have DIP 32 cache sockets and the main difference between a 85C460/461 and a 85C472 is that the latter can cache a wider RAM area (64MB vs 128MB), thus it makes sense that boards with MIC 472 have a better cache upgradability. There also exists a MIC 4716 chip, it probably also belongs to SiS 85C4xx chipset family, or maybe it's a Opti 82C499, who knows...
datasheets:
85C460
85C471