Ну вот это другое дело. Потому вашу статью и прокатили. Любой ембеддер знает что либы от одного производителя никак не лягут на SoC-и другого. А как пример общие либы для сопроцессора CP15 на ARM7, ARM9 всегда шли одинаковые для любых SoC-ов на ARM. Но особо это никому не помогало.