UEFI или BIOS – в чём разница для пользователя и что использовать