Re-add thermald and mpdec binaries in case kernel is missing support for them.