sys-kernel/usermode-linux: only support amd64