MADS: Fixes for displaying kernel messages