{{{ oval_check_proc_sys_kernel_osrelease_arch("aarch64") }}}