arch: use PRNGs from kernel utils for initializing stack pointer