> вы уверены? а md5-суммы собранного ядра разными гцц показать можете?

Они вполне могут быть разными - разработчики гццы не дремали и допиливали оптимизатор. Поэтому код может быть разным. А вот работать будет одинаково.

Иллюстрация для тех кто в танке, на примере абстрактного процессора:
mov r0, #1
mov r0, #2
mov r0, #3

заменяется на "оптимизированный варинат кода":
mov r0, #3

И хотя md5sum у бинарного кода будет разный и вообще второй варинат в три раза короче, результат выполнения почему-то окажется совершенно одинаковый: r0 содержит число 3.