X86 target fixes

GCC 4.2.1 complains about using void* in arithmetic. Cast it to unsigned
int before using it.

Also there was a missing stdint.h include.

Change-Id: If78bb6a771b72eb08bd2dc401371e8da14fd9ecc