ifdef x86 specific bits in elfobj and add new platform specific hooks to platform_stub.c
Merge pull request #1501 from braddr/fix-stub

ifdef x86 specific bits in elfobj and add new platform specific hooks to platform_stub.c