kernel_pmap_store.
THE REST OF THE KERNEL ARE IN THE TREE YET. Also, some of this is _incredibly_ hack-ish, etc., but it works.