Fix build gating on optimized_portable_kernels#9825

swolchok wants to merge 1 commit intogh/swolchok/379/headpytorch/executorch:gh/swolchok/379/headfrom

gh/swolchok/410/headpytorch/executorch:gh/swolchok/410/headCopy head branch name to clipboard