platforms/astbmc/vesnin: Send list of PCI devices to BMC through IPMI
platforms/astbmc/vesnin: Send list of PCI devices to BMC through IPMI

Implements sending a list of installed PCI devices through IPMI protocol.
Each PCI device description is sent as a standalone IPMI message.
A list of devices can be gathered from separate messages using the
session identifier. The session Id is an incremental counter that is
updated at the start of synchronization session.

Signed-off-by: Artem Senichev <0c258a2f6ea4356be7cf47b2488f5bb8b6c3902c@yadro.com>
Signed-off-by: Stewart Smith <ec31ab75ddf977353c8f660f92ea8b23f64aef25@linux.ibm.com>

stewart-ibm/skiboot,qemu/skiboot,qemu/skiboot,legoater/skiboot,stewart-ibm/skiboot,open-power/skiboot,stewart-ibm/skiboot,qemu/skiboot,legoater/skiboot,shenki/skiboot,open-power/skiboot,open-power/skiboot,legoater/skiboot,open-power/skiboot,shenki/skiboot,shenki/skiboot,shenki/skiboot,shenki/skiboot,legoater/skiboot,legoater/skiboot,open-power/skiboot,qemu/skiboot,qemu/skiboot