I'm currently using Arch Linux on a Chrombook Flip C100P in conjunction with the xf86-video-armsoc driver.
When printing the /dev/dri folder on my device as root, it detects the following: card0 controlD64 renderD120.
However, when I last used Crouton on this device, it could detect a second card: card0 card1 controlD64 renderD120.
This was a significant difference when I used Crouton because I needed to take advantage of a card renaming hack in order to launch XCFE4.
So I'm wondering, are there any possible changes I can make to my existing Arch Linux installation that would enable me to 'see' card1?