Added systemconfig.h

Which allows you to specify whether or not your hardware supports RDRAND