Revert "Fix path to vcos_platform_types.h"

This reverts commit caf4e9d4c58c0995fb56be2ad6284765499d77d7.