Sadly, I don't think there is a bigger EFM32 which has the same footprint but maybe they have released new parts since I last looked.

IIRC GnuK uses the chopstx library which has already been ported (see https://github.com/im-tomu/chopstx). Not sure what else would need to be done?