vm: fix kernel-requested mappings for arm

. make vm tell kernel virtual locations of mappings
	. makes _minix_kerninfo feature work
	. fix for mappings being larger than what 1 pde can address
	  (e.g. devices memory requested on arm)
	. still requires a special case for devices memory for the
	  kernel, which has to switch to virtual addressing

Change-Id: I2e94090aa432346fa4da0edeba72f0b7406c2ad7

lib/libc/sys-minix/init.c

@@ -19,9 +19,6 @@ struct minix_ipcvecs _minix_ipcvecs = {
 
 void __minix_init(void)
 {
-#ifdef __arm__
-	_minix_kerninfo = NULL;
-#else
 	if((_minix_kernel_info_struct(&_minix_kerninfo)) != 0
 	  || _minix_kerninfo->kerninfo_magic != KERNINFO_MAGIC) {
 		_minix_kerninfo = NULL;
@@ -29,6 +26,5 @@ void __minix_init(void)
          	_minix_kerninfo->minix_ipcvecs) {
 		_minix_ipcvecs = *_minix_kerninfo->minix_ipcvecs;
          }
-#endif /* __arm__ */
 }