I've got 32GB micro SD cards in a few of my boxes - neater than a USB stick hanging out of the back of the box and they all record and timeshift without any issue. Setup was easy I think it was - menu, mounts, device manager. You should be able to format it from there and then set it as HDD