aperture_detach_devices
aperture_detach_devices(base, size);
aperture_detach_devices(VGA_FB_PHYS_BASE, VGA_FB_PHYS_SIZE);