fexdump.sh: dump kernel config info