x86: Adjust board_f.c for x86