Slightly supprised they're patching it via a "BIOS update" rather than a microcode update... unless it is, and UEFI is just the now prefered method of pushing it.