bug in pgtbl.c ?

[Baski Kannan]

I think there is a bug in the file " src/cpu/x86/pae/pgtbl.c"
the pg_table struct should be

struct pg_table {
        struct pde pd[2048];
        struct pde pdp[4];
    } __attribute__ ((packed));

instead of
    struct pg_table {
        struct pde pd[2048];
        struct pde pdp[512];
    } __attribute__ ((packed));

Thx - Baski