Update the sel4 debugging primer.

Change-Id: I913d8fe3844b805d7aed159368da704a8bc9e8d0
1 file changed