HARDENING: Fix unresolved kernel symbol when building for ARM devices