switch on BiosVideoThunkDxe (from Duet) and CpuDxe (from Clover)