Merge pull request #111 'soby-mathew-sm:fix_cookie_to_int_handler'
authorDan Handley <dan.handley@arm.com>
Thu, 29 May 2014 16:11:04 +0000 (17:11 +0100)
committerDan Handley <dan.handley@arm.com>
Thu, 29 May 2014 16:11:04 +0000 (17:11 +0100)

Trivial merge