I read the license before import and it says "Linux operating systems" are authorized but it's just a kernel, which we happen to emulate, right?
The phrase, "For the avoidance of doubt, no embedded or device versions of the above operating systems" might kill that idea.