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