{{{ oval_check_proc_sys_kernel_osrelease_arch("ppc64le") }}}