Rename 0rgb1555 to xrgb1555 because xrgb is more common and having it different between 1555 and 8888 irritates me.