Update default.xml

Bring in holiday kernel

Change-Id: I5ff2c9d29d8a52919d32b9d922b5403382e2a0c5