Since this is an almost identical copy of ALIX_DSK, just include it
and add the bits we need at the end.