Option to install ARM mainline kernel's along with i386 and amd64.

Titles basically describes it. When I chose a kernel, It gave me my system architecture, armv7l, but only had the two options for i386 and amd64.  Sorry if this isn't very detailed, this was all I could think of
