[PATCH v3 06/43] x86: Add a comment for board_init_f_r_trampoline()