[pcbios] Sanity-check the INT15,e820 and INT15,e801 memory maps