[syslinux] autoboot countdown timer

[H. Peter Anvin]

Daniel Baumann wrote:
> H. Peter Anvin wrote:
>> Does the Debian version build modified binaries, or does it use the 
>> stock binaries provided with the releases?  The former is bad chicken 
>> for debugging...
> 
> Debian rebuilds all binaries, but they are not patched (actually there
> is a small patch, but that shoudn't make any difference).
> 

Please see distrib.doc why I consider that to be a bad thing in this case.

	-hpa