This problem is fixed. After further examination, it turned out the defective regulator was not IC2 but IC3. This makes more sense, since IC2 can handle much more load then IC3, which is a small 100mA regulator.