Trademarks expire if not used. Registered trademarks have periodic renewal requirements with specific timelines. If I'm reading the article correctly, the last time the brand was used on a licensed product was 2012ish with the C64x; I don't think the My64 used the brand and I don't think it was licensed if it did?