Fix gpr name for RPi debug target

This MR fixes the gpr file name for the debug target of Raspberry Pi. The solution is based on the release target which is proven to work well.