edison.md: Add warning for gpio 4 on miniboard