Comment 8 for bug 1193172

This bug was fixed in the package linux - 3.10.0-5.15

---------------
linux (3.10.0-5.15) saucy; urgency=low

  [ Andy Whitcroft ]

  * [Config] add iwldvm to nic-modules
    - LP: #1204194

  [ Tim Gardner ]

  * [Debian] Supply PKG_ABI in kmake
    - LP: #1193172
  * SAUCE: (no-up) hv: Supply vendor ID and package ABI
    - LP: #1193172

  [ Upstream Kernel Changes ]

  * efivars: check for EFI_RUNTIME_SERVICES
    - LP: #1200570
  * drm/radeon/hdmi: make sure we have an afmt block assigned
  * Input: elantech - fix for newer hardware versions (v7)
    - LP: #1166442
 -- Tim Gardner <email address hidden> Tue, 23 Jul 2013 07:42:49 -0600