adopted, a la .C files and <sys/cdefs.h>: * move <machine/asm.h> to the top * use __KERNEL_RCSID() immediately after it