This screenshot is from way before his comment above, so it was indeed 6502 at that time. See also:

https://twitter.com/#!/notch/status/183222415428554754