[PATCH v2 4/6] ARM: SAMSUNG: Restore Samsung PM Debug functionality

[Daniel Drake]

On Wed, Jun 25, 2014 at 12:43 PM, Tomasz Figa <t.figa at samsung.com> wrote:
> Due to recently merged patches and previous merge conflicts, the Samsung
> PM Debug functionality no longer can be enabled. This patch fixes
> incorrect dependency of SAMSUNG_PM_DEBUG on an integer symbol and adds
> missing header inclusion.

I replaced the original patch with this updated version and can
confirm that the option now appears in the menu again, and compile
succeeds when set to yes.

Thanks
Daniel