Re: [PATCH 07/38] x86: Add a comment for board_init_f_r_trampoline()