That solution uses software serial ports, which unfortunately are not fast enough for my purposes. Note that the topic says multiple hardware uarts. (but thank you for trying 
!)
I believe that the solution will probably require additions to the code near the end of variant.cpp to use SERCOM3 and/or SERCOM5.