x86: Write configuration tables in last_stage_init()