Для теории сначала Таненбаума «Современные операционные системы». Потом как раз-таки Бовет и Чезати «Understanding the Linux kernel» (она же «Ядро Linux» в русском переводе). И под конец можно зачитать Роберта Лава «Linux kernel development» (Разработка ядра Linux, сейчас ожидается выпуск третьего издания на русском, если с английским плохо), которая более приземлённо раскрывает подробности реализации.