vmmplatsupport, vpci: Fix unaligned writes#123

elmankku wants to merge 1 commit intoseL4:masterseL4/seL4_projects_libs:masterfrom

tiiuae:upstream/pci-config-unaligned-writestiiuae/seL4_projects_libs:upstream/pci-config-unaligned-writesCopy head branch name to clipboard