Comment 11 for bug 1902654

Problem:
- initial broken as HW_COMPAT_2_4 + pc_compat_2_3
- then some options moved between HW_COMPAT_2_4 <-> pc_compat_2_3
- HW_COMPAT_WILY needed to be HW_COMPAT_2_4 + some things that moved to pc_compat_2_3
- when this was further reworked in later releases this was partially lost
  and is right now using hw_version = "2.4.0"; and pc_i440fx_2_4_machine_options (right)
  but also hw_compat_2_3 + pc_compat_2_3 (wrong)
- I think we need to make it use hw_compat_2_4 + those that moved to pc_compat_2_3 later.
  In the past we have identified these as
      .property = "send-configuration",\
      .property = "send-section-footer",\
      .property = "store-global-state",\

We can use the debug steps above with GDB or the "info qtree" on the monitor to gather a full list of compat attributes that are registered to the fully initialized wily machine.
They should match with a fix applied.