don't build kernel twice