Trouble porting linux driver to DDE Kit