arm-palmos results for branch fixes

arm-palmos last failure lists

-rw-r--r-- 1 pierre users 22065 Dec  3 00:19

-rw-r--r-- 1 pierre users 22148 Dec  3 03:56

-rw-r--r-- 1 pierre users 22762 Dec  3 04:05

-rw-r--r-- 1 pierre users 22404 Dec  3 06:03

-rw-r--r-- 1 pierre users 22656 Dec  3 07:54