I'm going to 'fix' buildkernel today (that is, make it do a complete wipe of the object tree), and I will also implement the long awaited 'quickkernel' target. -Matt