Update debian-banner/boot-prompt.sh

Thoughts on using grep