Driver: primitive manual map of kernel images
Driver: Driver manual map update
Updates for driver manual map; minor bug fixes