Update: Seems 4.4.38-tegra kernel doesn’t support the VP9 pixel format, although its headers properly define it.
This has been fixed by commenting VP9 and HEVC sections at the end of file v4l2loopback_formats.h (in the folder where you have cloned the project, where you type make).