Raspberry Pi Kernel with Gentoo hardened patchset and compatibility patches