Pragmatux kernel source for Gumstix Overo-based platforms