tree 0452dbc0ac7cc001eb40f55b16cde1b191f12ea6
parent 7494ce0bdd5f707b8e07d907e2202df0f3426da0
author Patrick Venture <venture@google.com> 1525967396 -0700
committer Patrick Venture <venture@google.com> 1525967571 -0700

makefile: disable OEM IPMI library

Disable the OEM IPMI library until an OEM registration is
available.

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