The specific update here is just a delta update, and doesn't contain the entire firmware. But it does contain shared libraries built for running on a linux system, so it stands to reason there's linux kernel running somewhere there.

(On that note - have someone sent a similar request to Tesla - they've at least semi-officially said they're running Linux)