Hardening does nothing for strength of a steering tube. It just makes it
wear longer in friction situations, of which there are none in the
steering tube. Even it was 'hardened' it would likely be well under
Rc40, more likely in the Rc25-30 range, all of which are machinable.