Update debian-banner/boot-prompt.sh

Change variable IPPADD to start with an _ character. Starting a new naming convention.