Just tested with 4.0 from sid and 4.1 (trunk) from experimental. Same output:
leo@cubetto:~$ uname -a
Linux cubetto 4.1.0-trunk-armmp #1 SMP Debian 4.1.2-1~exp1 (2015-07-11) armv7l GNU/Linux
leo@cubetto:~$ cat /proc/cpuinfo 
processor       : 0
model name      : ARMv7 Processor rev 2 (v7l)
BogoMIPS        : 1001.47
Features        : half thumb fastmult vfp edsp thumbee neon vfpv3 tls vfpd32 
CPU implementer : 0x41
CPU architecture: 7
CPU variant     : 0x3
CPU part        : 0xc08
CPU revision    : 2
Hardware        : Allwinner A1X (Device Tree)
Revision        : 0000
Serial          : 0000000000000000
leo@cubetto:~$ ls /sys/devices/system/cpu/cpu0/
crash_notes       of_node  power      topology
crash_notes_size  online   subsystem  uevent
Maybe some device-tree issue?