What? The kernel log does include a line with miner type. (CTRL + F for "Miner Type"). But the easiest way if you are SSH-ed in already is to do:
echo -n 'stats' | nc localhost 4028
If you don't want to SSH in, you can run the above command from another shell on the same network, and just replace localhost with the miner's IP address.