question about disk_config & partition types

[Matteo Guglielmi]

This configuration:

disk_config disk1 disklabel:gpt-bios fstabkey:uuid bootable:1
primary /boot  1G     ext4 defaults createopts="-L boot"
primary swap   1G-10G swap sw       createopts="-L swap"
primary /     10G-    xfs  defaults createopts="-L root"
primary /tmp   1G-50G xfs  defaults createopts="-L tmp"

leads to this partitioning layout:

Number  Start (sector)    End (sector)  Size       Code  Name
   1            4096         2101247   1024.0 MiB  EF00  primary  <<<=== why 
EF00 and not 8300?
   2         2101248        18430170   7.8 GiB     8200  primary
   3        18430171       339847078   153.3 GiB   8300  primary
   4       339847079       419428318   37.9 GiB    8300  primary
   5            2048            4095   1024.0 KiB  EF02  primary


Any way to correct the partition type of the ext4 (boot) partition?


Thanks!