arm-palmos results for branch fixes

arm-palmos last failure lists

-rw-r--r-- 1 pierre users 22067 Oct 21 00:18

-rw-r--r-- 1 pierre users 22148 Oct 24 03:55

-rw-r--r-- 1 pierre users 22388 Oct 24 06:08

-rw-r--r-- 1 pierre users 22762 Oct 24 06:19

-rw-r--r-- 1 pierre users 22656 Oct 24 06:56