This patch fixes a problem where the machine server system calls are not being type checked properly potentially causing system crashes by unprivileged programs.