x86: Quark: Comment setup_arch() to document TLB/PGE bug