Comment 3 for bug 1673557

Ugly collapsing code:

sed -n '/^processor/,/^$/{/^$/q; p}' /proc/cpuinfo ; foo=$(sed '/^processor/,/^$/d' /proc/cpuinfo); if [ -n "$foo" ]; then echo -e "\n$foo"; fi

Prettying that into one line of sed or awk shouldn't technically be hard, but not my top priority today. :P