Update prebuilt kernel binaries (sec_switch support)