> Much as I hate to say it, have you had a GPL-aware lawyer look at this?
> 

since intel also seems to ship a GPL ipmi driver I think they give
explicit permission for this ;)