Meltdown and Spectre Vulnerabilities, any know impact on DELL TC 3030 & 3040?

Dear all, as you already knows that Google reported an exploitable design feature that results in a vulnerability. This vulnerability, broadly referred to as Meltdown / Spectre in the press, may allow malicious attackers to take advantage of speculative execution to read system memory that should have been inaccessible. The vulnerability may result in privilege escalation attacks and data ex filtration.

Mitigation of this vulnerability will typically require the application of software patches, microcode and/or BIOS changes, and/or other protective IT and security measures.

Do we have any updates or patches in place or planned for ThinOS DELL 3030 and 3040 ?