要刷红米buds4PRO的海外固件，首先需要下载对应的海外固件包和刷机工具，例如小米刷机助手等。

然后将buds4PRO与电脑连接，进入刷机模式，将固件包导入工具中并进行刷机操作。切记在刷机之前备份好重要数据，如联系人、短信等，以免刷机过程中数据丢失。

刷机成功后，buds4PRO将自动切换至海外版本，可享受更多海外版专属功能。