Update default.xml

added mifl's 10.1 kernel