To my knowledge, when an OS such as Windows 8.1 is booted, all firmware/bios drivers are replaced by more appropriate OS drivers. I learnt this happens for the latest versions of Windows. Am I right? Do all bios drivers get replaced? Does this happen with the latest versions of OS X as well?