rem: return sys_vm_get_region_info(id, (void *)areaInfo);
add: return _kern_get_area_info(id, areaInfo);
context: _get_area_info(area_id id, area_info *areaInfo, size_t size){	// size is not yet used, but may, if area_info changes	(void)size;	return sys_vm_get_region_info(id, (void *)areaInfo);}