sys/ipmi.h should be in system/header package
The sys/ipmi.h file should be moved from driver/ipmi package to system/header package. The rationale is simple: I want to compile IPMI-aware sources even on a machine without IPMI support (and without the driver/ipmi package installed).
Updated by Rich Lowe about 7 years ago
In general, we've been trying to move stuff out of system/header, into the packages that actually deliver the pieces. Massive packages that are dumping grounds for massive amounts of unrelated stuff have, well, been bad.
So the history is that we used to just cram everything into as few packages as possible, then we decided to actual package all the parts of a component in the same place.
I don't have any opinions on the specifics, beyond not really understanding why it's worth it just to avoid the installation of one, small, well-behaved, package.