Any recs on hw? I only got old dell laptops, a celeron tower I use for a pseudo raid mirroring setup that I could potentially repurpose and a macmini 2011 where im running opencore legacy patcher to keep alive but can totally reformat into Linux