Update debian-banner/boot-prompt.sh

Update comments to filter command