Embedded Linux performance details - Linux memory management