Hi Mat,

On 03/14/2016 10:19 AM, Mat Martineau wrote:
> Casting void* to uint64_t on 32-bit x86 causes a build error with gcc
> 5.3.1, so cast to uintptr_t instead.
> ---
>   ell/dbus-kernel.c | 4 ++--
>   1 file changed, 2 insertions(+), 2 deletions(-)
>

Applied after tweaking the commit description.  Remember item M5 ;)

Regards,
-Denis