Thanks for the effort in getting this to work. HDMI works, though I was trying to get the Raspberry Pi touchscreen to work. Has anyone been successful in getting the Raspberry pi official display working? It seems that the needed changes in the raspberry pi kernel were not added to this android kern...