How can I find the CPU info from dragonfly? I installed it on a 4-cpu qemu simulator and dmesg cannot give the information whether dfly find them. Thanks