Truly free kernel dynamic memory. Add new macro to resolve kernel vaddrs to paddrs