Several manufacturers have provided 64-bit BIOS flash utilities, but there are still some holdouts. Acer, for one, can't seem to manage to create one for their Ferrari, even though there are a lot of Acer Ferrari owners out there running 64-bit Windows...