Modify linux command line options

Signed-off-by: Jeff Horn <jhorn@reachtech.com>