[coreboot] Does coreboot table still exist in F000 segment?