use Linux 4.4 for ARMv6 emulation