arm-palmos results for branch fixes

arm-palmos last failure lists

-rw-r--r-- 1 pierre users 22653 Aug 18 07:32

-rw-r--r-- 1 pierre users 22009 Aug 27 00:38

-rw-r--r-- 1 pierre users 22164 Aug 28 03:52

-rw-r--r-- 1 pierre users 22404 Aug 28 06:18

-rw-r--r-- 1 pierre users 22656 Aug 28 06:54