I have a Vostro 5620 and I've just updated the BIOS to the latest 1.10. The BIOS reports the sound card as a RealTek ALC3254. However, my linux kernel is unable to detect the sound card and I believe this to be an issue with the driver.

The problem is that the driver on the Dell website is being rejected because it can only be updated apparently from a Windows system. In fact, this is the problem with most drivers on the Dell site.

Has anyone found a way to update the BIOS with better drivers without having to wipe the OS and load windows?