Do I have to mail in an amended return if it was efiled?
No you do not. Also, per the IRS:
Will filing my Amended Return be processed faster when filed electronically?
Currently, the normal processing time of up to 16 weeks also applies to electronically filed Amended Returns.
Amended Return Frequently Asked Questions | Internal Revenue Service (irs.gov)