[U-Boot] [PATCH v2 25/63] x86: board_f: Update init sequence for 64-bit startup