ppc64le: address review comments from mkannwischer#4

dannytsen merged 1 commit into

dannytsen:new_maindannytsen/mlkem-native_dev:new_mainfrom

bhess:bhe-reviewbhess/mlkem-native:bhe-reviewCopy head branch name to clipboard