The hope is to make the sequencer and kernel code share this file, but some work on our sequencer assembler will be needed first.