Updates to example application cells

> Printing in one of these separation kernel systems has always been a
> bit of a chore. Do we ever need to print for a reason other than
> debugging? If not, than shall we just make printing a no-op in a
> release build?

We definitely need to print in non-debug builds of this demonstration,
just to show that it's working as advertised.

-- 
  Jonathan Daugherty