Raspberry Pi port, piCore-15.0 is available!
I take it you have removed the "quiet" bootcode?It's the one that hides them, and is there by default.