Would it be possible to turn on CONFIG_KALLSYMS_ALL in the Debian kernel
for Wheezy? It's a useful debugging option, and makes it easier to
implement useful tools like Ksplice that inspect the code and data
structures of the running kernel, in particular in relation to operating
on modules (one can use System.map to look up addresses for data
structures in the core kernel). Most other major Linux distributions
have had CONFIG_KALLSYMS_ALL enabled in their kernels for some time now
(RHEL, Fedora, Ubuntu, etc.).