Networking :: Changing Hostname
That file would probably be /opt/bootlocal.sh
I guess then for the non-frugal hd-installs, that bootcode doesn't work...
original
here
.