With BOARD mode Pins 27 and 28 cause segfault

[pklapperich]

Example:

In [1]: import RPi.GPIO as gp
In [2]: gp.setmode(gp.BOARD)
In [3]: gp.setup(28,gp.OUT)
Segmentation fault (core dumped)
ubuntu@pine64:~$

I'm using an SOPINE with the baseboard, in case this is a product specific issue. I've been able to set any of the other pins to IN and OUT without problems.

[SecT0uch]

@pklapperich Do you remember if you finally soved this issue ?