Fix Raspberry Pi target name

Authored by angerman on Sep 27 2017, 10:04 PM.

Description

Fix Raspberry Pi target name

Summary:
For some reson, the *, that was supposed to be in D4031
got lost in the diff.

Reviewers: bgamari, austin, hvr, dfeuer

Reviewed By: dfeuer

Subscribers: rwbarton, thomie, erikd

Differential Revision: https://phabricator.haskell.org/D4044