UEFI, a very worthy substitute for BIOS