[genode] [feature request] Lock and RW lock function for Genode Thread support.