Comment 2 for bug 1282243

This bug was fixed in the package linux - 3.13.0-11.31

---------------
linux (3.13.0-11.31) trusty; urgency=low

  [ Colin Ian King ]

  * [config] Set IPMI suppoort default to "y"

  [ Tim Gardner ]

  * [Config] CONFIG_USER_NS=y for ppc64el
  * [Config] CONFIG_RESOURCE_COUNTERS=y for ppc64el
  * Release Tracking Bug
    - LP: #1282243
 -- Tim Gardner <email address hidden> Wed, 19 Feb 2014 12:04:43 -0500