loading guest linux : disable gic timer injection due to guest does not handle gic timer