Add second serial port
add linux 3.5 minimal config (+devtmpfs support, that depend on hotplug)