gentoo-overlay/sec-policy/selinux-tboot/Manifest