[PATCH 2/2] Enable makedumpfile building for armv7hl