devel/corrade: Broken on 13 and 14 armv7
Reported by: fallout
(cherry picked from commit cb2959b38c03b52a6c04d77e86b04b08c2db274b)