Update hello.c

Should print out number of devices instead of number of platforms.