While here, pet portlint and clean option section by using OPT_CMAKE_BOOL. PR: 241716 Submitted by: Lorenzo Salvadore <phascolarctos@protonmail.ch>