print kernel message when cache workarounds are enabled