#framework laptop 13 arrived. :D
#openbsd kernel panics on boot. :(

Could not convert 1 to 5
panic: aml_die aml_convert:2094

The problem is that the bytecode in some ACPI table seems to want to compare or concatenate a FIELD_UNIT with an INTEGER and the openbsd kernel does not know how to convert between the two.

Any experts in the room? I have found the relevant code (in dsdt.c), and I think it should populate the vfield member of an aml_value. I just don't know what needs to go in there.