Although not exclusively focused on kernel programming, "Linux Device Drivers" is a well-known book that covers kernel programming topics. You can find the PDF on GitHub.