trivial: style changed files in libsel4camkes

The style checker was only run over the files that were changed in the
refactoring of CAmkES connector template functionality into
libsel4camkes.

libsel4camkes: Add arch code for dataport flushing

This commit implements the architectural specific functions for flushing
the cache lines that are linked to a dataport.