add pae kernel

Reference: /n/atom/patch/applied/mkbootpae
Date: Thu Feb 27 22:12:32 CET 2014
Signed-off-by: quanstro@quanstro.net

--- /sys/lib/dist/amd64/mkboot-install	Thu Feb 27 22:12:28 2014
+++ /sys/lib/dist/amd64/mkboot-install	Thu Feb 27 22:12:28 2014
@@ -14,6 +14,7 @@
 	rfork en
 	{cat 9fat/plan9.ini; echo 'install=1'}>/tmp/mkboot-ini || fail
 	bind /tmp/mkboot-ini 9fat/plan9.ini
+	test /386/9paed -nt 9fat/9paed && cp -x /386/9paed 9fat/9paed
 	disk/mkcpuboot -t -k /amd64/9termd -l /386/iplfat -p /386/iplpbs -m /386/iplmbr $* || fail
 }
 9fs -a atom 			|| fail