ARM kernels are now SECURE_KERNEL and also CONFIG_EMBEDDED.