factored out inline assembly code into separate assembly file and wrapped it into GdbCpuState class