Add a type spec for prepare_boot_table