K 10
svn:author
V 8
andreast
K 8
svn:date
V 27
2016-01-02T22:04:37.099292Z
K 7
svn:log
V 303
Fix booting of 32-bit kernels on 64-bit G5 hardware.

For rs6000, most memory insns and addi/addis do not allow GPR0 for RA
(they use literal zero there instead). So use a 'b' constraint to make
sure to have a base register other than GPR0.
GCC-4.7 and up handles this with allocating r9 instead of r0.

END