Get your taxes done using TurboTax

Unless specifically required the 1040X is the customary way to change a personal return but now all you can do is wait for the IRS to eventually get around to processing the second return.  Time will tell.