AMD Bimini: Use mptable_init() in mptable.c.