Re: [PATCH 12/18] include: armv7: Enable distroboot across all configs