Add kernel to be able to construct a full firmware image