Boardconfig: inlcude setup_fs.te and uncrypt.te