CONFIG_DETERMINISTIC_BINARY confirms this makes no difference in
the generated binary.
Signed-off-by: Alessandro Rubini <rubini@gnudd.com>