The ipmi driver (added for r151004) was missing from the illumos-gate
incorporation.