Yes I am aware this is why Minix has the BSD license throughout. To be clear in-case their is confusion: in the text you quote I am describing the hypothetical

Yes I am aware this is why Minix has the BSD license throughout. To be clear in-case their is confusion: in the text you quote I am describing the hypothetical scenario where Intel used Linux + GNU userland to build ME.