Re: [PATCH] x86, setup: add __flush_tlb() for Intel Quark X1000

["Bryan O'Donoghue" <pure.logic@nexus-software.ie>]

> +    /*
> +     * Locate the page directory and flush the TLB.
> +     *
> +     * On Quark X1000 CPUs we still have the PGE bit incorrectly set
> +     * due to a processor erratum, so __flush_tlb_all() is not yet
> +     * doing what it says.  Fortunately we have a cr3 flush here,
> +     * which is what is needed in this processor to flush TLBs, so
> +     * there's no need to add a Quark X1000 quirk here.
> +     *
> +     * early_init_intel will unset the X86_FEATURE_PGE flag later
> +     * and __flush_tlb_all() will flush via cr3
> +     */
> +    __flush_tlb();
>
> With the extra __flush_tlb(); on the end.

Scatch that.

ACK Ong Boon Leong's patch