header: update that includes debug_marker extension

Change-Id: Ifb8b7e2f66ac3dcb6e1889d59879caba39805d53
1 file changed