drm: Implement dmi_check_system()

* The original function imported from FreeBSD was just a stub

* Replace it by a working implementation from OpenBSD

* And modify it slightly to use SMBIOS information from the loader

* This makes it possible to avoid display detection issues on some
  slightly broken hardware reporting phantom outputs or other weird
  invalid data.