allow hal_keymaster_default vfat:dir search;
allow hal_keymaster_default vfat:file { getattr open read };
r_dir_file(hal_keymaster_default, firmware_file)