After enabling the Raspberry Pi firmware driver which allow us to handle
power domains for USB or graphics.
Signed-off-by: NStefan Wahren <stefan.wahren@i2se.com>
Signed-off-by: NEric Anholt <eric@anholt.net>