board: Add comment with bug number to workaround