SystemRescueCd: Change 32bit kernel name from rescuecd to rescue32