Estoy ejecutando Ubuntu 12.04 y dos imágenes linux activas 3.2.0-37 y 3.2.0-36. En el directorio / usr / src / encuentro: linux-headers-3.2.0-23 linux-headers-3.2.0-23-generic linux-headers-3.2.0-26 linux-headers-3.2.0-26-generic linux-headers-3.2.0-29