Provide table of supported hardware & status

We'd like to show:

• if the device is supported in Debian & what suite
• if not (yet) supported in Debian:
  • what kernel version the device will be supported in
  • what u-boot version the device will be supported
  • link to ticket