xvisor: needs gcc >= 4.9