The only thing I can imagine is that they've somehow managed to rely on kernel headers in their image? idk