Comment 6 for bug 1266737

For more info I have the below kernel

root@ubuntu:/opt/ltp# dpkg --list | grep linux
ii libselinux1:ppc64el 2.2.1-1ubuntu2 ppc64el SELinux runtime shared libraries
ii libv4l-0:ppc64el 1.0.0-1 ppc64el Collection of video4linux support libraries
ii libv4lconvert0:ppc64el 1.0.0-1 ppc64el Video4linux frame format conversion library
ii linux-headers-3.13.0-0 3.13.0-0.15 all Header files related to Linux kernel version 3.13.0
ii linux-headers-3.13.0-0-generic 3.13.0-0.15 ppc64el Linux kernel headers for version 3.13.0 on PowerPC 64el SMP
ii linux-headers-generic 3.13.0.0.2 ppc64el Generic Linux kernel headers
ii linux-headers-virtual 3.13.0.0.2 ppc64el Transitional package.
ii linux-image-3.13.0-0-generic 3.13.0-0.15 ppc64el Linux kernel image for version 3.13.0 on PowerPC 64el SMP
ii linux-image-extra-3.13.0-0-generic 3.13.0-0.15 ppc64el Linux kernel extra modules for version 3.13.0 on PowerPC 64el SMP
ii linux-image-virtual 3.13.0.0.2 ppc64el This package will always depend on the latest minimal generic kernel image.
ii linux-libc-dev:ppc64el 3.13.0-0.15 ppc64el Linux Kernel Headers for development
ii linux-sound-base 1.0.25+dfsg-0ubuntu4 all base package for ALSA and OSS sound systems
ii linux-virtual 3.13.0.0.2 ppc64el Minimal Generic Linux kernel and headers
ii util-linux 2.20.1-5.1ubuntu11 ppc64el Miscellaneous system utilities
root@ubuntu:/opt/ltp#