On Thu, Sep 14, 2017 at 5:17 PM, Itaru Kitayama <itaru.kitayama at riken.jp> wrote: > Dann, > > Thanks for the information. Will try to upgrade the kernel when I have an > opportunity. > > $ sudo dmidecode |grep IPMI > IPMI Device Information > > Does the above something I should expect to see? Yes.