Add missing symbol found during refreshing bmips Kconfigs. Signed-off-by: Álvaro Fernández Rojas <noltari@gmail.com>