star-push_gateway_example doesn't link on efm32gg platform for now, not sure why...