My two "just arrived" new kernel books