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?