# FIXME: The content of this file can be found in kernel.in, 
#        but someone [tm] should move it here...