Add necessary changes to be able to build on VxWorks for PPC860.