setup: Add more jump targets to j - sim - kernel / sel4 Change-Id: I4967a8ce940b3f1f05cc505c0fff34afdd78c89b