Support for unsynchronized FakeSMCDevice's platform function calls