Am I understanding correctly that this is based on an ARM core, as in licensed from ARM?

As an ASIC design guy, I have a hard time calling this "GPL-compliant hardware" when the main non-trivial component is closed source.