если не вдаваться в подробности, то архитектура PowerPC вообще и процессоры серии QorIQ в частности весьма широко используются в интегрированной модульной авионике. К этой серии относится как P3041, так и, скажем, P4080. Последний встречается во многих современных бортовых решениях, например от Honeywell.
Именно поэтому для первоначальной разработки была выбрана аппаратная платформа, которая хорошо известна и для которой существуют сертифицированные средства разработки.
Надо понимать, что JetOS, как и большинство других операционных систем, сама по себе не «заточена» строго под PowerPC. Практически в любой ОС есть архитектурно-зависимая и независимая части. Причем, архитектурно-зависимая часть отвечает только за «привязку» к конкретному железу и не связана с внутренней кухней самой операционки. В качестве иллюстрации можно рассмотреть исходники Linux: достаточно сравнить по размеру содержимое каталогов arch и kernel.
Разумеется, по мере разработки JetOS будет портироваться и на другие платформы.