Revert "kernel: do not assume arch is arm"

This reverts commit 3d7cb5009ebbc25a6438a23a21ebb101bca17588.