Include modules in kernel image

For best performance do not load modules at init time. Instead include those modules in the kernel image.

This will give a bigger kernel (as the modules are in it) so loading and starting the kernel will be slower. However this time is recovered because there are no modules to be loaded (which is slightly more expensive than having them into the kernel).

TODO: perform measurements to quantify the gain