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?