Yup. Imho the least disruptive solution is just to bag the game completely and both teams move on with the records they have. But knowing the nfl, they will probably have each team play back to back doubleheaders, or something equally stupid.
If the league office absolutely, positively has to have a W and an L on the books, just flip a freaking coin.