[U-Boot] [PATCH v3 24/62] x86: board_f: Update init sequence for 64-bit startup