Fix path to vcos_platform_types.h