Fix bootimage build

The bootimage build (specifically, bootimage.cpp) was broken in the wake of the recent codegen namespace reorganization.  This fixes the errors.