[coreboot] [PATCH] avoid mptable move with HAVE_LOW_TABLES=0 and HAVE_HIGH_TABLES=1