Update PlatformHal.cpp