change default device name to core1, instead of elroy