Use inline assembly for dflush
Fix a bunch of bugs in serial loader