[fractalb]

Tangentially, on what parameters is the linux kernel bloated?

[cmyr]

I presume it's mostly that the kernel ships so many drivers.

[squarefoot]

A huge number of them is in the form of downloadable modules, that is, if you don't connect the hardware, the relevant module isn't loaded.