12c Platinum ARM-based (two coin cells)?

[brouhaha]

Thanks for the confirmation. I guess the one that was described in the forum back in December 2010 must also have been obtained through a non-retail channel. It's interesting in that there's a Declaration of Conformity PDF on the HP web site for the HP 12c Platinum with regulatory model number HSTNJ-KN11 dated 20-DEC-2012, which AFAICT must be specifically for the AT91SAM7L128-based hardware. Since the DoC number has a "-R2" suffix, it seems possible that there was an earlier DoC also for the HSTNJ-KN11.