tree 2a2e5b292ffa1111677286696abf1e85e9c63d83
parent 0e9aae5d7e28a1a629a65fd5d767c1695acefdaa
author Patrick Venture <venture@google.com> 1597351315 -0700
committer Patrick Venture <venture@google.com> 1597351357 -0700

drop unused header: handler_ipml

The ipmi routing handler only needs to know the interface, and not any
specific implementation.

Signed-off-by: Patrick Venture <venture@google.com>
Change-Id: Id76119ee644f719d18c24f1b97b69557bcceb8fa