Fixes #82: Reverse preference for boot options, to favor command-line options over boot.properties