[kernel] Update tests

tests/spec/oracle/annot_decl_bts1009.res.oracle

tests/syntax/oracle/cert_msc_38.0.res.oracle

tests/syntax/oracle/cert_msc_38.1.res.oracle

tests/syntax/oracle/cert_msc_38.2.res.oracle

tests/syntax/oracle/cert_msc_38.3.res.oracle

tests/syntax/oracle/cert_msc_38.4.res.oracle

tests/syntax/oracle/cert_msc_38.5.res.oracle

tests/syntax/oracle/cert_msc_38.6.res.oracle

tests/syntax/oracle/cert_msc_38.7.res.oracle

tests/syntax/oracle/incomplete_struct_field.res.oracle

tests/syntax/oracle/mutually_recursive_struct.res.oracle