HelenOS sources

NULL_DES           51 kernel/arch/amd64/src/pm.c 	[NULL_DES] = {
NULL_DES           64 kernel/arch/ia32/src/pm.c 	[NULL_DES] = {