.gdbinit stores settings for loading the symbol files at the correct
addresses and pi3.cfg is the JTAG configuration file for OpenOCD.

Signed-off-by: Joakim Bech <joakim.bech@linaro.org>
Reviewed-by: Jerome Forissier <jerome.forissier@linaro.org>
Reviewed-by: David Brown <david.brown@linaro.org>