K 10 svn:author V 6 andrew K 8 svn:date V 27 2014-11-28T11:45:53.018896Z K 7 svn:log V 151 We don't use the hypervisor interrupt, make it optional in the device tree. Submitted by: Julien Grall MFC after: 1 week END