All kernel configs are for x86_64 only. I sometimes use configs for other archs, it'd be great to have more. nit: I'd rename `kernel` directory to `configs`.