Comment 57 for bug 1762940

I installed linux-hwe 4.15.0-57 #63~16.04.1-Ubuntu on xenial, and ensured the -modules and -modules-extra package was installed.

I went into /var/lib/modules/4.15.0-56/ and did a search for hibmc_drm. There was no mention apart from a header Makefile. The module was not built and not present on amd64.

Tests have been successful on bionic, so I am happy to mark this as fixed for xenial.