Fix some errors in mach/board.h