Merge from head r287357-287358,287400:
Not only build with buildworld, but also install with installworld all alternative kernels.