* fixes old ifxmips in header file * pass default ebu value to gpio driver