Hi Terrence_,
I've just tried the code you posted and it worked for me. I was able to set my PIR sensor using the Galileo and the Edison on the Arduino Expansion Board. I did just one minor detail changing the #include "arduino.h" to #include "Arduino.h".
Could you explain what is the issue you have? Is it a compiling error, a hardware connection?
Regards,
Diego.