Is it possible to obtain proprietary driver for video core (in the sake of gaining extra video performance)?