Apple has just released an EFI firmware update for the mid-2012 MacBook Air. The firmware update fixes an issue with colors on external HDMI displays, a problem with Windows that can stop the computer from booting properly, and an issue with Thunderbolt devices causing the computer to freeze. Older models of the MacBook Air are not affected by these issues.
The update is available from Apple's support page or through Software Update on affected Macs.