Just adding weight to the "if not" possibility.
I would think they simply interrupted the Kindle framework and ran their own firmware written from scratch. I can't think how they would integrate Amazon's firmware code, and I doubt they would reimplement it either.