Как узнать сколько памяти забрало себе ядро

Вообще, трудно сказать что такое память ядра, но если тебе нужно некое число, можешь взять например cat /proc/meminfo и посчитать MemTotal-MemFree-Cached. Это в каком-то смысле и будет память ядра, т.к. вся "память процессов" - это page cache.