About patch for ARM Spectre-BHB in OPTEE OS