devkitA64 release 12

See https://devkitpro.org/viewtopic.php?f=13&t=8761 for details.

Use https://devkitpro.org/wiki/devkitPro_pacman to install binaries.