actually, i use

cd /sys/src; objtype=amd64 mk -k install

so that if something's broken, it will build as much as it can.