Documentation: minor clean up

Replace an old place holder reference with the actual section links.
Add more Avoton ethernet support.

Add two PCI device IDs used by the Avoton C2700 built-in ethernet
interface, both of which come from Debian patch
0130-igb-Add-support-for-i354-devices.patch.
Documentation: Move release status to the OCP Wiki

Instead of keeping the release information inside the ONIE
documentation, move it to the OCP Wiki.