These numbers are only available at build time; there is no run-time
command to change them as yet.
Signed-off-by: Alessandro Rubini <rubini@gnudd.com>