Clarify ThunderX kernel support description

There is technically other HW not yet supported by Xenial - e.g.
certain performance counters, VFIO, etc - so just use IPMI as
an example. Also note the (strong) possibility that more hw
will be added via SRUs.