main/linux-vanilla: fix armhf config