boot mm.c fixes:
[helenos.git] / defaults / 
tree8f66f16c5d94702476c5e75bd4d73eead348f9cd
drwxr-xr-x   ..
drwxr-xr-x - amd64
drwxr-xr-x - arm32
drwxr-xr-x - ia32
drwxr-xr-x - ia64
drwxr-xr-x - mips32
drwxr-xr-x - mips64
drwxr-xr-x - ppc32
drwxr-xr-x - sparc64
drwxr-xr-x - special