Сижу, компиляю ядро под ARM-железку. И с удивлением замечаю, что компиляется за примерно вдвое меньшее время, чем под amd64.
Т.к. и там и там используется gcc, можно сказать, что в x86(-64) ветке linux куча раздутого кода
Т.е. компиляю на одной машине ядро для amd64 и ядро для arm - кросскомпиляцией.