Bude to fungovat nebo je potřeba čekat, jestli ECS/nebo někdo jinej nevydá aktualizaci/upravenej BIOSu?