[OS-BUILD PATCH] Fix up "random: Add hook to override device reads and getrandom(2)"