arm-palmos results for branch fixes

arm-palmos last failure lists

-rw-r--r-- 1 pierre users 22021 Aug  1 00:28

-rw-r--r-- 1 pierre users 22122 Aug  1 03:52

-rw-r--r-- 1 pierre users 22296 Aug  1 06:06

-rw-r--r-- 1 pierre users 22548 Aug  1 06:54

-rw-r--r-- 1 pierre users 22621 Aug  1 07:41