Add board support infrastructure for the pcDuino board. There is not much there on the initial checkin