Igen, közben rájöttem. Valahol sokalltam ezt a kernelméretet, mert a napokban beágyazott Linux kernelt forgattam, az meg azért kisebb.