UEFI vs BIOS: What is the difference between BIOS and UEFI?