PWRCR
fpga_write_reg(fpga_read_reg(PWRCR) | PWRCR_PDWNREQ, PWRCR);
while ((fpga_read_reg(PWRCR) & PWRCR_PDWNACK) == 0)