Add missing 'hidden' attributes These attributes are on the original (non _sel4 arch) version of these functions and are needed for correct compilation in some cases
Support a seL4 x86_64 build