Workaround/fix (I'm not sure!) for buffer_alloc() returning unaligned addresses in...