Complete RV32 support for Linux

This should be bgeu.  The bug is originally mine, but it looks like my patch to entry_64.S came after you started work on entry_32.S.