acpi: fix incorrect encoding for 0x{F-1}FFFF