ArmPlatformPkg/SP805WatchdogDxe: cosmetic cleanup