Use 16-bit color when rendering the boot animation

This should improve bootanimation (and boot!) performance.

Change-Id: I4091c3d8694b6c74e0ea4635832be96a5cc97e0e
Use half-resolution version of the boot animation for better performance

Change-Id: I588bcb68ce01089749f125d2f7c87477fd703bc7