Those are the popular three, but the documentation provided by kernel authors themselves as well as source code is also expected.

Lastly, semantics of the machine are often a required read. The intel manual might be something that belongs on your list, if you want to truly understand.

But no book is really enough to completely understand the linux kernel. Those just help you get started.