[RFC PATCH v2] mvebu: compile the kernel in Thumb-2 mode for ARMv7 targets

[Rui Salvaterra]

Hi again, Hauke,

On Tue, 30 Jun 2020 at 23:30, Rui Salvaterra <rsalvaterra at gmail.com> wrote:
>
> There's no reason gcc 8 won't work fine too, the only snag we hit was
> with gas, and that's already fixed (see below). I'll test with gcc 8
> too, though, just to make sure (and 10, as soon as it hits master :)).

I just built a new image with gcc 8 and it's working correctly, as I expected.

Cheers,
Rui