serrano: Update proprietary-files.txt

Change-Id: I72f0606bcae41d7a46ff6fbe6229f3543f6ac63e