RPI_FIRMWARE_STATE_ENABLE_BIT
return !!(val & RPI_FIRMWARE_STATE_ENABLE_BIT);
u32 state = RPI_FIRMWARE_STATE_ENABLE_BIT;