This requires updating the object file format to record the fstack context for sections themselves, not just for patches.
Exported labels should fail to link; non-exported ones should be okay.