Misc 6-freebsd-12 fixes
Summary
The first patch fixes an issue with a bad patch backport.
The second patch in the set bumps up the available memory for ZynqMP systems to allow all 4 interfaces to function simultaneously by default.
Closes #14 (closed)