[Git][ghc/ghc] Pushed new branch wip/romes/26166-move-prims