changes related to correctly linking for x86 with x86universal board