Update PlatformHal.h