arch: re-order the entries in the float choice

Re-order the three entries in the float choice, in a more sensible
order, ie:
- all hard-float options come first, then soft-float
- options that use the FPU are marked so: hard and softfp
- options that do not use the FPU are marked so: software

Signed-off-by: "Yann E. MORIN" <yann.morin.1998@free.fr>

debug/gdb: update Linaro GDB revisions to 2012.12-1

Update Linaro GDB with the latest available revisions.

Signed-off-by: "Benoît Thébaudeau" <benoit.thebaudeau@advansee.com>
Message-Id: <b6c4a82286f9a3de3948.1355761104@advdt005-ubuntu>
Patchwork-Id: 206907

cc/gcc: update Linaro GCC revisions to 2012.12

Update Linaro GCC with the latest available revisions.

Signed-off-by: "Benoît Thébaudeau" <benoit.thebaudeau@advansee.com>
Message-Id: <acf52a6302c475ff850e.1355760853@advdt005-ubuntu>
Patchwork-Id: 206905