doc: Update the user manual to match the kas menu changes

Update the Reproduce section of the user manual to match the kas menu
adjustments.

Signed-off-by: Robbie Cao <robbie.cao@arm.com>