These are already marked as critical, so there is no need for an
additional ignore_unused flag.
Signed-off-by: NHeiko Stuebner <heiko@sntech.de>