SOC: Zedboard: Driver question