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