acpi: x86: madt: use build_append_int_noprefix() API to compose MADT table