samsung-i9505: fix argb video settings in kernel

Created by: rrooij

The RGB values were not calculated correctly. This patch was send to me by someone from the #postmarketos IRC channel and works great. All credits goes to that user.

This also fixes the issue of Weston not automatically recognizing the good pixman type without setting it in the deviceinfo file.