Привет.
Скажите пожалуйста. Если написать:

окончиться ли строка нулем '\0' ? Просто не понятно если строка записанная во флешь не окончиться нулем '\0' то как понять где конец строки?

В Си строки заканчиваются 0, не важно, какой компилятор, будет выделено 6 байт, последний =0.

Только не 6 байт, а 6 элементов типа char.

В общем случае - да, но в контексте 8бит МК - байт и char - одно и тоже.

А в контексте Intel Pentium Pro ?

Это в первую очередь определяется не архитектурой, а компилятором.

Ого! И как же в таких компиляторах описать структуру с выравниванием в 1 байт ? Ну скажем, Ethernet-пакета ?

Никак.

Не факт, например, в архитектуре АРМ7 или 9 под любой элемент выделится 4 байта(32бита)

Под любой элемент структуры? Нет, не выделится.

В Вашем случае завершающий нуль будет.
Строка в кавычках (называется строковый литерал) всегда имеет завершающий нуль, и когда этот литерал используется для инициализации массива нуль тоже будет присутствовать в массиве во всех случаях, кроме одного. В одном частном случае можно наступить на грабли.
Пример из стандарта С, раздел 6.7.9 Initialization:

Массив t получается без завершающего нуля.
К счастью такое допустимо только в С, а С++ такое уже не позволяет.

Архитектура не выделяет байты. Байты выделяет компилятор.
Или Вы хотите сказать, что любой компилятор для этих архитектур всегда выделяет по 4 байта для любой переменной?? Конечно это неправда.

Зависит от заданного уровня оптимизации кода.

Никогда не встречал такого. Приведите пример.
К тому же - лишено всякого смысла для оптимизации, поэтому - не верю.

Насколько помню, ARM7TDMI не имеет специальных арифметических команд работы с байтами, потому все байтовые операции выполняются в 32 битах и в конце на результат принудительно накладывается маска. Поэтому тип uint_fast8_t имеет разрядность 32 бита, что позволяет избежать этих накладываний маски. Таким образом, для оптимизации смысл есть, но возможность работать с "честными" байтами остается.

Не важно какие арифметические команды имеет этот CPU. Так как это ядро не имеет арифметических (или логических) команд с операндами в памяти.
Любой операнд должен быть предварительно загружен в регистр, а результат операции - выгружен в ОЗУ соответствующими командами LDR/STR.
Команды LDR/STR имеют варианты для 8-,16- и 32-битных данных. И выполняются за одинаковое время.
Никаких масок на 8-битный результат накладывать не надо - можно сразу выполнить STRB.

Это если надо его записать в память. А если продолжить работу в регистрах, то придется.